Search results for "Homogeneous polynomial"

showing 9 items of 9 documents

Boolean Functions of Low Polynomial Degree for Quantum Query Complexity Theory

2007

The degree of a polynomial representing (or approximating) a function f is a lower bound for the quantum query complexity of f. This observation has been a source of many lower bounds on quantum algorithms. It has been an open problem whether this lower bound is tight. This is why Boolean functions are needed with a high number of essential variables and a low polynomial degree. Unfortunately, it is a well-known problem to construct such functions. The best separation between these two complexity measures of a Boolean function was exhibited by Ambai- nis [5]. He constructed functions with polynomial degree M and number of variables Omega(M2). We improve such a separation to become exponenti…

CombinatoricsComplexity indexDiscrete mathematicsZero of a functionKarp–Lipton theoremHomogeneous polynomialBoolean expressionDegree of a polynomialBoolean functionMathematicsMatrix polynomial37th International Symposium on Multiple-Valued Logic (ISMVL'07)
researchProduct

Pietsch's factorization theorem for dominated polynomials

2007

Abstract We prove that, like in the linear case, there is a canonical prototype of a p -dominated homogeneous polynomial through which every p -dominated polynomial between Banach spaces factors.

Discrete mathematicsPolynomialBanach spaceTensor product of Hilbert spacesDominated polynomialsAbsolutely summing linear operatorsSymmetric tensor productsymbols.namesakeSymmetric polynomialFactorization of polynomialsHomogeneous polynomialWeierstrass factorization theoremsymbolsElementary symmetric polynomialAnalysisMathematicsJournal of Functional Analysis
researchProduct

On the Zero-Set of Real Polynomials in Non-Separable Banach Spaces

2007

We show constructively that every homogeneous polynomial that is weakly continuous on the bounded subsets of a real Banach space whose dual is not weak ∗ separable admits a closed linear subspace whose dual is not weak ∗ -separable either where the polynomial vanishes. We also prove that the same can be said for vectorvalued polynomials. Finally, we study the validity of this result for continuous 2homogeneous polynomials.

Discrete mathematicsPure mathematicsPolynomialDifference polynomialsGeneral MathematicsBounded functionHomogeneous polynomialBanach spaceReflexive spaceLinear subspaceMathematicsSeparable spacePublications of the Research Institute for Mathematical Sciences
researchProduct

On a representation theorem for finitely exchangeable random vectors

2016

A random vector $X=(X_1,\ldots,X_n)$ with the $X_i$ taking values in an arbitrary measurable space $(S, \mathscr{S})$ is exchangeable if its law is the same as that of $(X_{\sigma(1)}, \ldots, X_{\sigma(n)})$ for any permutation $\sigma$. We give an alternative and shorter proof of the representation result (Jaynes \cite{Jay86} and Kerns and Sz\'ekely \cite{KS06}) stating that the law of $X$ is a mixture of product probability measures with respect to a signed mixing measure. The result is "finitistic" in nature meaning that it is a matter of linear algebra for finite $S$. The passing from finite $S$ to an arbitrary one may pose some measure-theoretic difficulties which are avoided by our p…

Discrete mathematicsRepresentation theoremMultivariate random variableApplied MathematicsSigned measureProbability (math.PR)010102 general mathematicsSpace (mathematics)01 natural sciencesMeasure (mathematics)60G09 (Primary) 60G55 62E99 (Secondary)010104 statistics & probabilityHomogeneous polynomialFOS: Mathematics0101 mathematicsMathematics - ProbabilityAnalysisMixing (physics)MathematicsProbability measureJournal of Mathematical Analysis and Applications
researchProduct

Polynomial Fuzzy Models for Nonlinear Control: A Taylor Series Approach

2009

Classical Takagi-Sugeno (T-S) fuzzy models are formed by convex combinations of linear consequent local models. Such fuzzy models can be obtained from nonlinear first-principle equations by the well-known sector-nonlinearity modeling technique. This paper extends the sector-nonlinearity approach to the polynomial case. This way, generalized polynomial fuzzy models are obtained. The new class of models is polynomial, both in the membership functions and in the consequent models. Importantly, T-S models become a particular case of the proposed technique. Recent possibilities for stability analysis and controller synthesis are also discussed. A set of examples shows that polynomial modeling is…

Polynomial regressionMathematical optimizationPolynomialApplied Mathematicsfuzzy controlpolynomial fuzzy systemsFuzzy logicfuzzy modelingrelaxed stability conditionsMatrix polynomialSquare-free polynomialComputational Theory and MathematicsArtificial IntelligenceControl and Systems EngineeringHomogeneous polynomialsum of squares (SOS)Applied mathematicsFuzzy numberMathematicsWilkinson's polynomialIEEE Transactions on Fuzzy Systems
researchProduct

Zeroes of real polynomials on C(K) spaces

2007

AbstractFor a compact Hausdorff topological space K, we show that the function space C(K) must satisfy the following dichotomy: (i) either it admits a positive definite continuous 2-homogeneous real-valued polynomial, (ii) or every continuous 2-homogeneous real-valued polynomial vanishes in a non-separable closed linear subspace. Moreover, if K does not have the Countable Chain Condition, then every continuous polynomial, not necessarily homogeneous and with arbitrary degree, has constant value in an isometric copy of c0(Γ), for some uncountable Γ.

PolynomialFunction spaceApplied MathematicsC(K) spacesMathematical analysisHausdorff spaceContinuous polynomialsLinear subspaceZero-setSquare-free polynomialCombinatoricsCompact spaceCountable chain conditionHomogeneous polynomialAnalysisMathematicsJournal of Mathematical Analysis and Applications
researchProduct

Infinite Dimensional Holomorphy

2019

We give an introduction to vector-valued holomorphic functions in Banach spaces, defined through Frechet differentiability. Every function defined on a Reinhardt domain of a finite-dimensional Banach space is analytic, i.e. can be represented by a monomial series expansion, where the family of coefficients is given through a Cauchy integral formula. Every separate holomorphic (holomorphic on each variable) function is holomorphic. This is Hartogs’ theorem, which is proved using Leja’s polynomial lemma. For infinite-dimensional spaces, homogeneous polynomials are defined as the diagonal of multilinear mappings. A function is holomorphic if and only if it is Gâteaux holomorphic and continuous…

Pure mathematicsMathematics::Complex VariablesHomogeneous polynomialBanach spaceHolomorphic functionDifferentiable functionHartogs' theoremInfinite-dimensional holomorphyMathematics::Symplectic GeometryCauchy's integral formulaAnalytic functionMathematics
researchProduct

Holomorphic Functions on Polydiscs

2019

This is a short introduction to the theory of holomorphic functions in finitely and infinitely many variables. We begin with functions in finitely many variables, giving the definition of holomorphic function. Every such function has a monomial series expansion, where the coefficients are given by a Cauchy integral formula. Then we move to infinitely many variables, considering functions defined on B_{c0}, the open unit ball of the space of null sequences. Holomorphic functions are defined by means of Frechet differentiability. We have versions of Weierstrass and Montel theorems in this setting. Every holomorphic function on B_{c0} defines a family of coefficients through a Cauchy integral …

Pure mathematicsMonomialsymbols.namesakeHomogeneous polynomialEntire functionHolomorphic functionTaylor seriessymbolsDifferentiable functionCauchy's integral formulaAnalytic functionMathematics
researchProduct

A Leibniz variety with almost polynomial growth

2005

Abstract Let F be a field of characteristic zero. In this paper we study the variety of Leibniz algebras V ˜ 1 defined by the identity y 1 ( y 2 y 3 ) ( y 4 y 5 ) ≡ 0 . We give a complete description of the space of multilinear identities in the language of Young diagrams through the representation theory of the symmetric group. As an outcome we show that the variety V ˜ 1 has almost polynomial growth, i.e., the sequence of codimensions of V ˜ 1 cannot be bounded by any polynomial function but any proper subvariety of V ˜ 1 as polynomial growth.

symbols.namesakePure mathematicsAlgebra and Number TheoryInvariant polynomialSymmetric polynomialAlternating polynomialLeibniz formula for determinantsHomogeneous polynomialsymbolsElementary symmetric polynomialPolarization of an algebraic formMathematicsSquare-free polynomialJournal of Pure and Applied Algebra
researchProduct